Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
431	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
432	Cognitive Psychology[removed]–193 www.elsevier.com/locate/cogpsych Naı¨ve deontics: A theory of meaning, representation, and reasoning Monica Bucciarellia,1, P.N. Johnson-Lairdb,* Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:16 Ethology Thought Deontic logic Modal operator Reasoning Epistemology Norm Mental model Modal verb Logic Modal logic Science
433	memhlen; of the ISB has started the last year of the millennium with individual that we will be end of this year to face all of our to Add to Reading List Source URL: isbweb.org Language: English - Date: 2011-05-24 22:07:53 Biomechanics Motor control Modal logic
434	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:14:36 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic
435	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm VIEWPOINT Stepping aside and moving on: Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:46:37 Interdisciplinary fields Philosophical logic Mathematical logic Modal logic Knowledge Service dominant logic Logic Science
436	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics
437	Deontic Reasoning on the Basis of Consistency Considerations Christian Straßer∗ Aleks Knoks† Joke Meheus∗ ∗ Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-02-10 02:46:24 Deduction Deontic logic Entailment Sheaf Interpretation Logic Modal logic Philosophical logic
438	A Unifying Framework for Reasoning about Normative Conflicts Mathieu Beirlaen∗ Abstract First, two context-dependent desiderata are presented for Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 04:38:36 Modal logic Philosophy of law Non-classical logic Philosophical logic Philosophy of language Deontic logic Paraconsistent logic Norm Rights Logic Mathematical logic Philosophy
439	Top-k Most Incremental Location Selection with Capacity Constraint Yu Sun1 , Jin Huang2 , Yueguo Chen3 , Xiaoyong Du1,3 , and Rui Zhang2 1 School of Information, Renmin University of China, Beijing, China Add to Reading List Source URL: www.ruizhang.info Language: English - Date: 2012-11-11 20:44:43 Science Information retrieval Discrete geometry Data mining Nearest neighbor search R* tree K-d tree Modal logic Spatial database Information science Mathematics R-tree
440	Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe Primiero Online p Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-03-03 10:07:20 Modal logic Semantics Model theory Branches of philosophy Epistemic modal logic Common knowledge Kripke semantics Modal operator Trust Logic Mathematical logic Philosophical logic

UPDATE